fun foo() = "\uD800"
